$\forall$${\it es}$:ES, $i$:Id, $P$:(discrete state@$i$$\rightarrow\mathbb{P}$). @$i$ stable ${\it state}$.$P$(${\it state}$)   $\in$ $\mathbb{P}$